Automated program repair: a step towards software automation

نویسندگان
چکیده

برای دانلود باید عضویت طلایی داشته باشید

برای دانلود متن کامل این مقاله و بیش از 32 میلیون مقاله دیگر ابتدا ثبت نام کنید

اگر عضو سایت هستید لطفا وارد حساب کاربری خود شوید

منابع مشابه

Towards Software Component Procurement Automation

One of the first steps of component procurement is the identification of required component features in large repositories of existing components. On the highest level of abstraction, component requirements as well as component descriptions are usually written in natural language. Therefore, we can reformulate component procurement as a text analysis problem and apply latent semantic analysis f...

متن کامل

Smarter Compilation: A Step Towards Automated Distribution

Key decisions in any efficient distribution scheme include both the granularity of the distribution and the allocation of distributed processes to available processing resources. Metrics may be established for an automated distribution system that permit these distribution decisions to be made based on a range of increasingly complex, and more accurate, estimators based on the computational com...

متن کامل

A First Step Towards Automated Knowledge Integration

Knowledge integration is the process of incorporating new information into a body of existing knowledge (Murray and Porter, 1989). This process is a cycle of knowledge acquisition, formulation, recognition, elaboration, and adaptation. Knowledge acquisition is the act of gathering facts. These facts must be formulated into the language of the underlying representation of some knowledge base. Re...

متن کامل

Software Process Lines : A Step towards Software Industrialization

The industrial revolution transformed the cottage industry into mass production. In this chapter, the authors trace the recent advancement of the software industry and establish that it is following a similar route followed by the manufacturing industry towards industrialization. The chapter positions the concept of Software Product Lines (http://www.sei.cmu.edu/productlines/), as a possible fo...

متن کامل

Dagstuhl Seminar 17022 Automated Program Repair

This report documents the program and the outcomes of Dagstuhl Seminar 17022 “Automated Program Repair”. The seminar participants presented and discussed their research through formal and informal presentations. In particular, the seminar covered work related to search-based program repair, semantic program repair, and repair of non-functional properties. As a result of the seminar, several par...

متن کامل

ذخیره در منابع من


  با ذخیره ی این منبع در منابع من، دسترسی به آن را برای استفاده های بعدی آسان تر کنید

ژورنال

عنوان ژورنال: Science China Information Sciences

سال: 2019

ISSN: 1674-733X,1869-1919

DOI: 10.1007/s11432-019-9947-6